Update to current rust: pass the extra argument to green::start.