ubuntu 14.04 compilation fix