work around known travis issue