Revert "I deleted the files that jenkins doesn't like"

This reverts commit 58c12a4f70edb001434d62ba18da1b7e98a31899.