Fixed nimzo-rewriter and updated bash alias.