Give this file the right name.