added file header for el_mutex.h