Use tag 0.8.1

Previously tag was not pushed to main repository so we manually patched the
extension for gnome 3.10.