Workaround for bug in Travis