Fix name collision with standard headers type