fix compile error on Ubuntu