ragel: use upstream fix