CMakeLists.txt: Explcititly list source files to make gatsan's life easier