upgraded Mint Linux from 14 to 15.