The debian build procedure now works.