hadrian-haddock-opts
hadrian-iserv
fix-dnosmp
enable-interpreter
