Fix: some bugs in x86_64 installation