Reconfig texsuite to make it work