Pipe $(OBJDUMP) output to /dev/null to avoid error