Fix compilation problems after linting