Your patch seems a fine solution for this problem. I'll look at adding something like this to the scripts sometime over the holidays, but don't hold your breath too soon! Feel free to push this along (by providing a candidate debdiff, as per «https://wiki.ubuntu.com/PackagingGuide/Recipes/Debdiff») if you'd like a solution before I get around to it.
Your patch seems a fine solution for this problem. I'll look at adding something like this to the scripts sometime over the holidays, but don't hold your breath too soon! Feel free to push this along (by providing a candidate debdiff, as per «https:/ /wiki.ubuntu. com/PackagingGu ide/Recipes/ Debdiff») if you'd like a solution before I get around to it.