I don't think this would be necessary if the stub is the first module compiled. If so, the error would only happen on the second one, the one in user code.