Made more platform-independent; Added error/warning gutter marks in output pane