Update superbash.c

no real change, took out a useless include :)