fix annotation of modules that do not generate any C code for user sources