minor fix in order to support ubuntu 14.04