Add a "quick" option to the build scripts to avoid a full rebuild
Fix DTS false positive marker detection