How to repair Grub boot-loader after windows installation with Linux Mint