Tweak devel/libast version 0.7_11