Tweak devel/ragel version 6.8