Fix wrong include path to boost mutex