drop srclocation annotations