added NAME section to polymake.ext