am 95c0db1e: am ce3b58a6: Merge "Update dlext.h header"

* commit '95c0db1e7f598599c204840e7d417b661ef42974':
  Update dlext.h header