Fix the building of debian packages