updated debian symbols file