seems something needs cvl_gcc, so we extend the loaded modules list