python: Move .mk copying to InstallDev