add missing FpsCounter header