Temporary fix for ubuntu 14.04