Some modifications, added crab-resubmit script.