REMOVED: hsail-tools 0~20180830-1