luajit20.py: modify the regex