chg: check for FLINT in default places by default
fix: strange libtool behaviour under Ubuntu
Merge pull request #344 from mmklee/flint_sw

Flint sw