activate E 2.5 for production use (see also 5d1a7b688f6d);
rebuild component according to current "isabelle build_e" and PLATFORMS;