Compilation fix for non precompiled-header builds