Import Debian changes 0.7.1-5