Undo temporary filename change

Forgot to undo temporary filename change