makefile with conditional push