makefile improvement, remove ppx_deriving dependency