Ported to Linux 64.

Added configuration file for Linux 64, and fixed a bug with capitalization (OSX vs. Linux). Also some typos.