Trivial fix to .gitignore for spl/Makefile