Fix for ubuntu 14.04