Fix #22: upgrade to Cog r.2732