fix compilation on Ubuntu