really fix section name encoding