fix search of xilinx bad libraries (now using regexes)