Could you please move this down and make it "mkdir -p $OCAMLFIND_DESTDIR"?