patch  -p1  <  $SCRIPT_DIRECTORY/flex.patch  &&
default_build
