fix on ubuntu 14.04 LTS