Improve compatibility between Linux and OSX.
Improve compatibility between Linux and OSX.

rjust/defects4j,jose/defects4j,rjust/defects4j,jose/defects4j,rjust/defects4j,rjust/defects4j,jose/defects4j,jose/defects4j