git has left this file behind