ftmverify: small changes to convenience scripts
ftmfw: added makefile control to prioq timestamps