Proper export library.