use OpenSEMC source