Workaround for xctool stderr redirect bug