Fix #1459 - rabin2 -g crash