Added definitions for Ubuntu 12.04 64bit