making things work with pyinstaller -very-hacky-