finally fix travis build of koreader