fix: detection of FLINT if it is installed in /usr
chg: indicate usage of FLINT via versionString