Remove now-unused BASH makefile variable