Added new platform options in setupselen.sh/makeselen.sh