Remove compatibility code for GAP 4.4

This fixes a conflict with "gap -O", as the "VERSION" variable
is deprecated in GAP these days.