generate & solve with synthesized binary implementations when autocompile is enabled
make --autocompile the default