add hcc-crabserver again (one week late, sorry)