Appendix B: Setting up RD Gateway Manually on AWS