Shell library moved from dotmisc to dotshell