Fixing PyDev build.