Дополнительно удалить то что было создано командой configure в Linux $ make distclean Читайте также: Команды для мониторинга и отладки в Linux