SigmaTeX server configuration