Changed LIBCCOIN to LIBNUMMUM