gave file the proper extension