sfc option in Makefile for push