minor clflags.ml fix: fixes #262
Merge pull request #263 from gasche/fix-#262

minor clflags.ml fix: fixes #262