remove some options that are in top-level header