Rename library directory for Linux

File systems on Linux are case-sensitive.