Make HasPermissionTests DVI-independent