(For Chris): Fix failure where we rejected compiling stubs when lazy compilation...