Use correct file names for requires