Lint some server files