Can be removed: anyone who's going to run this script will know how to get a command line prompt.