Assorted Linux helper scripts by XiaoHuLi.
