Make tagfile generation optional