More tweaks to support the Java FFI on turing

Why do you make the Java FFI Linux-specific?