updated texstudio (2.8.8)