bah, use a hard-coded version