Another fix for java 1.7_40 with linux.