standard library now recompiled without re-running cmake