update_devfiles(), etc