- updated to 0.3.10
- removed obsolete hide-internal-ht-symbol.patch