drop unused ragel code