Added some debugging (for travis-ci)