Trigger Travis-CI build #2 (no change to source) (reverted from commit defbfe732a86ee7299cadf947bf6f4a1d663fcdb)