precheck apparently is looking for an updated ./mag/caravel.mag ,but actually neither make or make ship touches this file

@Matt Venn: Yeah, and it should remain untouched for all users. There is another check that verifies that (the manifest checks).