ragel: patch for missing std:: prefix