hey iam a portal fan who buyed portal some time ago but with the new patches i cant speedrun for fun where do i get the old patches and how to insert them into thew folders