Fix build failure on certain Linux systems