Switch to GAP 4.7.