Fix CMakeLists.txt for Ubuntu 12.04