Fixing Pydev build.