Fix include path in develspace for miniglog

That's it.