debug errors in the GUI and error on linux to open coverage file.