workbench 0.8.0 in Fedora 18 and 19