#!/bin/bash

export PATH="/usr/share/isse:$PATH"
exec /usr/share/isse/ISSE "$@"