Make Makefile more robust with respect to differently named Python executables