#1: Temporarily adding debug info to Travis CI build.