* graph_code/graph_code.ml: better shorname, handle locally renamed static
with __xxx suffix