bugfix in ragelx integration