Fix for ubuntu 14.10