Try to fix travis ci by using a different version (quantal is not on the
ubuntu servers anymore).