Adding these temporarily to debug a problem with is_up_todate()