Fix EC issue on Fedora 20

Fix for #1143
Coverage. The if NULL branch would only be taken on RHEL without this.