chg: check for FLINT in default places by default
fix: strange libtool behaviour under Ubuntu