Fix CMake file: use PHP files