Adapt CMake script to make it compile under Ubuntu 13.04