Silence libco/amd64.c warning