Explicitly add microtype package to header.