#!/bin/bash
exec bash "$(cd "$(dirname "$0")" && pwd)/starexec_run_default" "$@"
