Cabal2Nix.hs: fix support for the --no-check command line argument