Hopefully this fixes git...