require 0.13 rather than 0.13-de