Header files are now kept in a directory named 'ecl', so as to avoid name clashes with other headers.