Temporarily add proguard to work around LLVM bug