are the jenkins build hosts in aws now?