Don't put Ubuntu 12.04 into a -versioned dir since it doesn't make a practical difference