workaround for curious travis bug