Seems like Travis-CI has messed up something, let's try again...