added LuaJITTeX and TeXPortal and TeXAndroid