Re-fix openssl-cext for Linux