these are the stub versions of the files we have