Fix up a few issues in pick_arch
Fix a spurious false return code from sem_check
Produce native shared library for Xilinx packages