Updated header to print only the number of supported platforms