Use spaces instead of tabs for typeids.js output.