fix Ubuntu build