build: make ubuntu happy