another try at fixing dpkg/grub prompt