Tweak devel/autogen version 5.12