added formula for havok with llvm fix used by dden