Travis CI still gets stuck. Oh well, no CI.