And then run make