update HOWTO for libsingular