restrict SHARED to linux_64