default_pre_build &&
cd "$SOURCE_DIRECTORY" &&
# Remove pre-compiled files, causes build failures
find \( -name \*.mli -o -name \*.cmi \) -exec rm -f {} +
