update for current RIOT master