trivial top-level makefile so naive users want to build will get the right behavior