added debian/symbols