Fix CMake build system (ignore source/int.c file)