Fixes include to mutex_linux.h