Linux progress. Also we now include "common_tools.h" instead of <jni.h>, so that we can do platform-specific configuration if necessary.