Fix #1117 - Bring back rabin2 -c