Fix bug: unnecessary builds from source when installing after bootstrap