Fix bigloo install once again