Bumped rec2json version used.

Rec2json had a couple of bugs making life more difficult than it
should have been. Those have been fixed in the newest version, so we should
use that.