isn't Amazon Linux based on red hat?