fix examples/libc-dynamic-x64.py