#4239: buildroot override for unuran