Python importable file names