fix compilation error on Ubuntu