2011/10/21 Felipe Monteiro de Carvalho <felipemonteiro.carvalho at gmail.com>: > It should probably be "Linker" in english These are options related to linking. Of source these options are used by the linker. So, IMHO, both linking and linker are good terms in English. Vincent