examples/libc-dynamic-*.py: trivial fix