Yep, Juche was made up to appease the Soviets, who wouldn't have been very keen to publicly support a quasi-fascist state. It still features heavily in external propaganda, but NK internal propaganda is pretty much all racist Korean ethnonationalism and Kim family personality cult.