xilinx_ise: cleanup