debian: update symbols file