Add pushing to the export target