small fix regarding empty included directories