fix for ubuntu 14.04