Fix compilation

Temporary workaround for KT-4275