Minor fix for Make install

Still not smooth, but at least principally correct

Category: bugfix