make debian packagers happy