#!/bin/bash
exec /opt/robboScratch/robboscratch3 "$@"
