splint config file