maxima not working under grsec kernel