Remove workaround for KotlinC bug, which is now fixed