Always use $(EXECUTABLE) instead of exact name of executable in Makefile