How to use the Cinnamon panel when using Awesome Window Manager in Cinnamon?

I am using cinnamon 2.2.16-1, awesome 3.5.5-1 and awesome-cinnamon from the Arch Linux AUR . The awesome-cinnamon package basically just creates the .desktop and .session files to load cinnamon with awesome wm as the window manager. This is almost perfect for me, but I would like to experiment with using the cinnamon panel in addition to or instead of the awesome wibox, because the cinnamon panel has attractive icons for the audio, wifi and power controls. I can't seem to find any way to start the cinnamon panel. I am left thinking that the cinnamon panel must be part of cinnamon's window manager. It seems from googling that there used to be a program gnome-panel and cinnamon-panel, but these don't seem to exist anymore. Does anyone know of a way to get this working? cat /usr/share/xsessions/awesome-cinnamon.desktop: [Desktop Entry] Name=Awesome Cinnamon Comment=Dynamic window manager TryExec=/usr/bin/cinnamon Exec=cinnamon-session-cinnamon --session=awesome Type=XSession cat /usr/share/cinnamon-session/sessions/awesome.session: [Cinnamon Session] Name=Awesome session RequiredComponents=cinnamon-settings-daemon;awesome; RequiredProviders=windowmanager;notifications; DefaultProvider-windowmanager=awesome DefaultProvider-notifications=notification-daemon $ cinnamon-TabTab: cinnamon-desktop-editor cinnamon-screensaver-lock-dialog cinnamon-extension-tool cinnamon-session cinnamon-json-makepot cinnamon-session-cinnamon cinnamon-launcher cinnamon-session-cinnamon2d cinnamon-looking-glass cinnamon-session-properties cinnamon-menu-editor cinnamon-session-quit cinnamon-screensaver cinnamon-settings cinnamon-screensaver-command cinnamon-settings-users