Use the correct filenames for things we're sourcing