Hi, wasn't there a command to update the time stamps of control files in the debian directory? Thanks, Malte