Print out user configuration on ./configure