Fix warning on Ubuntu