fix ostf setup and manifest.in