Made "cover" a compile-time option (disabled by default)