0001-debian-makefile.patch
0005-rename-config-file-to-fit-policy.patch
0003-make-profilealert-works-with-non-bash-shells.patch
