Linux Editor launching too slow

I’m also experiencing this problem on 4.12 (seems like a regression). Shaders are definitely not the cause, UE4Editor -server is also slow (several mins to start an empty map!)