Oops

Was initially having a separate prompt file, but combined it in, thus no
longer include the file (and it doesn't exist anyways).