Correctly set SANITIZE=1 for all operating systems