Fix makefile's push target