ubuntu 14.04 compatibility fix