Correct crabserver spec

including latest crabserver 3.2.0pre5