Convert debian version to a string (rather than a symbol)