a little cleanup to ensure git works fine with the move
and now the file is back and everything should work out just fine