HNN_extension loading ...