TSAGE: Removed Symbion compilation fix, which doesn't work