use new argument order for 'ghc-cabal' in boot script