Update PyDev project to run in ESBox and allow `import gtk' to work in