Delete modexp.h