add a debian/symbols file