Android: Ignore kt3238.kt in Anroid Tests