Corrected freertos script to use the source directly from the official URL