some correction to compiler server