TSAGE: Compilation fix for SymbionOS