Related to the issue of make install cannot find the generated files (!114 (comment 146210))
make install