Switch to debug build on Travis as per Francois' request