Update Makefile

Well, we have to test that it exists in gate(), but that's the short name (identifier).