Shell library moved to dotshell