fix failing git checkout