Add "-real-paths" flag to disable short-types.