In SystemManager, return pointer to templated system rather than its base type (it's even being upcasted)