[extensions][proj] Fix compilation error