#491: replace devices for Dolfin