some re-initializations added before re-typing; "make opt" now succeeds