Filenames of src/ now in lowercase.