hosting: Fixes debian filename