Delete deriv4.h