minor clflags.ml fix: fixes #262