Fix include path in develspace for miniglog