change the filename of the debian repository key on the website