To simplify, I was removing duplicated, from the list, but this screws
up the special options of the target_link_libraries command (e.g.
release/debug libraries, as used by Boost).
This was causing a double link of boost libraries, one from heptools and
the other from the system.