fix problem with Eclipse on linux