[Bug 8800] New: problems on make command