change push_dofiles to dot