strance error when running Nova + Genode + Seoul (scenarion : seoul-auto.run)