x86_64: libpicosat.so
