Fix compilation bug under linux mint 17