Fixes in CMakeLists, include cstdint header