Reduce EDF_SIZE again for Travis