Minor changes to section on compilation of solutions modules