Rename dash's shell.h to dashell.h