pyodide: Importing dynamically written module gives ModuleNotFoundError

In #419, @mdboom suggests the following way of importing a dynamically created file (without the two commented lines):

import sys
sys.path.insert(0, '.')

# with open("bar.txt", "w") as fd:
#  fd.write("bar")

with open("module.py", "w") as fd:
   fd.write("foo = 42")

import module
module.foo

As is, this works fine.

However, with the two lines uncommented this yields ModuleNotFoundError: No module named 'module'. This is unexpected, as creating bar.txt seems unrelated to the rest of the code.

Adding import os; print(os.listdir(".")) just before the import shows that both files were indeed created.

Also, with the order of the two with blocks swapped it does work as expected.

Tested with v0.15.0 on Firefox 78.0.2.