Renaming core Scala files