Use Bigloo 4.2, Manuel said