Using the same cpphs version as Agda