Added systemc and changed default vnc resolution