Switched to use Ubuntu 14.04 for now