fix compilation on Ubuntu 14.04