Good catch, Base 57. Obviously, anything routed to a nonexistent device is going into the bitbucket.
However, the original assertion that the export does not rely on the audio interface remains valid, insofar as the interface has no bearing on what the exported audio sounds like. Whether you have a $7,500 Lavry or a $10 Realtek you'll get exactly the same results when exporting.