$targets{tx1} = '--ssh=tx1@rtime.felk.cvut.cz';
$default_target = 'tx1';

1;