Better handling of exec extension in the git wrapper script