Tweak misc/xiphos version 3.1.5_4