Fixing profiles with different filenames no longer messes things up.