upgrade to webot 0.3.1