Vanilla Smali returns (compiled against Java 6), extra DexFile constructor part of our code