fix bug in grid5000