packaging-debian; issue #251: Update files for prerelease