I think you have. I have just released an aurtools 1.3.0-2 that incorporates a frozen copy of the old extrapkg for now.

Can someone build for x86_64?

- P