kevoree-core: v4.1.2 fix deploy