# WARNING : $installPrefixThird is taken from CreaTools-configure.sh
# if user configured without installing third party library,
# Last third party library is still in use! JPR
# WARNING : $installPrefixThird is taken from CreaTools-configure.sh
# if user configured without installing third party library,
# Last third party library is still in use! JPR