Fixed the pydev build.