Update travis setting, and fix asuka include file.