define die() for scripts that use it.