Changed Linux Mint 15 mirror.