Fix compat-java library naming on Mac OS; thanks to Zheng Manchun for reporting this issue