Comment out files belonging to plugins graphic and microtheme, which
are not built by default.