Update the signature of the push method for the file output.

fix #131