Modifications in order to use the edulib branch of the EDUlib repo.