add timestamp to Debian file names