Various fixes to OpenWithosu