Remove compatibility code for GAP 4.4