eclipse-plugin-builds fix (?)