Fixes build problem on some platforms