proper capitalization of files

In systems that are sensitive to lowercase and uppercase names the including of the files in /lib fails.