Makefile now runs automatic disable_prot.sh if necessary