Turn on -rtsopts for the Shake binary