pkg/deb: update debian version to 4.2.0~dev4