Fix --with-flint for issue #3
Merge pull request #5 from kiwifb/flintconfig

Fix --with-flint for issue #3