Fixing the pydev build.