IMPORTANT NOTE: some of the DynamoRIO Extensions have LGPL licenses instead
of the BSD license of the rest of DynamoRIO!  Such Extensions are built as
shared libraries and have their own license.txt files.