Fix for installation issues

drop weird dependency camlp4lib