Makefile: pull out Berkfile from destroy action