Fix eclipse-devel