Fix debian repo