Fix bad configuration filename.