Rename ADDRMUX.h to addrmux.h