fixes build of debian packages