Remove a redundant options pragma