FWIW those were just copied from the main Makefile, so they should be fixed there as well.