mirage-console requires the relevant mirage library