doctest: fix for buildCoreLibraries