src/button_deb.vhd: Makefile work