Save and restore shopts (because I am setting nocasematch)