Symbols files and other fixes for Debian packaging.