debian fix for ppa build