Config settings for PC-lint