Allow for x86_64 as well