In Italy/France the only option is salt. I saw butter in rare cinemas, but usually it was only used to "explode" the corns, as a base grease instaed of oil, not added later. More and more cinemas now are converting to "hot air exploded corns" that is an healtier options and greatly appreciated.