Drop .py extension from Python executables, as requested by RB.