Fixed capitalisation of some include filenames.