Delete modulus.h