Micro optimizations for jtr_linux