Update travis configuration to bring out issue #12