fix compile error on Ubuntu 13.10