git-tool: added another path for 'getopt'