Flint sw

Somehow 'make check' didn't work under Ubuntu as libtool didn't figure out the correct dependencies. I think this is due to this:
http://stackoverflow.com/questions/11802727/libtool-doesnt-provide-library-dependencies-to-link
s.a. https://bugs.launchpad.net/ubuntu/+source/libtool/+bug/1002565 

viewType.html?buildTypeId=bt7&branch_Singular=flint_sw&tab=buildTypeStatusDiv