Staging: add pronto to makefile