Update lakefile [ci skip]