port debian/control changes to 0.5.x