Work around http://youtrack.jetbrains.com/issue/KT-4761