@Andrej, it's not shorter, no big difference though. From where the path splits (straight to Krn lakes, left to Prehodci) you'll walk past the lake to Krn summit around 2.30, via Prehodci 3 hours. True I went down via Prehodci so estimating that time, but I think the ratio is about that - via Prehodci a bit longer.