Make Gitextensions tool portable.