debian/*: update incorrect debian build setup.