rename option to pragma