Minor update to build instructions: workaround a bug in cmake+make build files