Xilinx Vivado 2013.3 on Fedora 18: Working around a D-Bus bug