Use the debian fix for pruning release branches

This was implemented in a2e2c2d0affe4c6be9c51900d36fd204a9ca26bd