#!/bin/sh
exec etex "$@"
