destdir is part of configuration