fix kevoree-library for multiple loads