Correct name of new configsnippet in makefile