fix transitivity of kevoree.dev option