... so drop the dependency on dev-install (with it, subsequentcheck is
just a synonym for check, which does not seem useful).