Fixing pydev build.