Fix name for gcc compilation