Trying to make travis CI eat pthread...