New aye-aye version number, fixing a bug