am 4243532d: am 301843ae: am 29e44b7a: Merge "Fix for "dexopt: No such file or directory" error"

* commit '4243532d4a0ec368d6722265af94ebd962877623':
  Fix for "dexopt: No such file or directory" error