ifdefs not needed, as we need path() here anyway