Hack to work on Windows (in git bash)