Linux Mint 18.3 brings software manager, backup improvements