crafty: remove useless flags
crafty: remove useless flags

Former-commit-id: d52d3575f758883bef6a37d3736d137ddcbf595b
Former-commit-id: 654983b2f9b130420196fcfb7a38938db484bed2 [formerly 6f6d5aa58b76a9e82220fa7971c40e2576d46408] [formerly b748b0d57a187e0ca1b3b3067233fa0fe67bf69d [formerly 9b95229178e4eee48b76f73d72292243031b3919]]
Former-commit-id: 92042bb43e29b7a802252b7b20673800fa5d6272 [formerly 3f4bf515ecce4ed4034aefc662d483ec7617ff7b]
Former-commit-id: 0532993a379edee7fe2d6b644bae4654cdb8ea35
PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild