reassign 517668 debbugs retitle 517668 run dist option through distribution alias table severity 517668 minor