Fix build on Linux with some glibcs