Fixing "sh: 1: /usr/bin/camlp4of: not found"