fix Kevoree registry