too bad the xilinx XVC plugin is horribly broken :(