INSTALL: How to enable debugging