Ali, Carlos: renaming linux to linux-x64