update to changes due to RIOT port