Bigloo version update

Not sure it is acceptable but reverted previous commit. The final diff is more compact and better represent changes to the formula.