default_pre_build &&
cd "$SOURCE_DIRECTORY" &&
# avoid depending on dune.configurator (which is private)
echo '(-O3 -unbox-closures -unbox-closures-factor 20 -color always)' \
     > src/flambda.flags &&
echo 'module Stdlib = Stdlib' >src/GenShims_.ml &&
sedit '/^ *(targets GenShims_\.ml)/a  (mode fallback)' src/dune
