fix issue #9: require 5.10, not 5.12