Had not rerun make, apparently