Case sensitive file names

On linux, at least, filenames are case-sensitive. This updates the requirement lines to match the cases of the files being included.