update marble symbol files