manifest.example and option file