small update on Kevoree compiler (still some work left)