Fix build issues for Linux introduced by d59622d0ea0aaeae24f6180fbdc4e14d650b2ec3