makefile: make linting optional