This shameful limitation of the fileinput module is not relevant anymore.