fix prologue of .st files