Fix build error on Ubuntu