* build fix for tx39 sim; caused by sky->devo merge