Fix pretty-symbols package name