Explicitly named ubuntu 12.04 as 13.10 gives error