build: fix toplevel check target