fix omnitorch