Name debian source correctly