# Definition of installation directories, we don't use half of these, but since
# the configure script has them on offer while passing through, we might as well
# Definition of installation directories, we don't use half of these, but since
# the configure script has them on offer while passing through, we might as well