fix problem under ubuntu 14.04