Added FATAL_ERROR if gcc version is not at least 4.7, providing a
pointer on how to upgrade to Ubuntu 12.04 users