Added DynamoRIO source