kili@'s script for post-"make update-plist" work for hs-* ports.