Just go with #2. For that you need to:

This solves #2, but anyway #1 and #3 are still the same problem. (Well, #1 isn't a problem, it's a preference...)

I think that this new function can also be used to solve problem #2 in a similar way.

#2 0x00000036afcd7115 in xmlNewTextReaderFilename () from /usr/lib64/libxml2.so.2

menu.insert_item("file_menu.#2", "rba_test", $open_LEF)