More tweaks for Python packaging