a few driver tweaks, nothing to see here
workaround for NICTA's C subset that prohibits variadic functions:
use -DCSMITH_MINIMAL and -DNO_PRINTF