make Debian postinst script to 'restart' network-manager, 'reload' isn't always available