Critical fixes for crabserver 3.3.12 version