Add alias to use proxy at titech