adjust linker options for static linking
adjust linker options for static linking

potassco/clingo,peschue/clingo,peschue/clingo,potassco/clingo,peschue/clingo,peschue/clingo,potassco/clingo,potassco/clingo