inst_user = 'platypus_sics' inst_name = 'platypus' inst_config = 'platypus_configuration.tcl'