[grigjd3]

Mint 17 was vastly more compatible as a desktop VM than Ubuntu 14.04, so I definitely used it when I needed to test code with gcc 4.8.