Small christmas gift for all tinysource users. This version fixes a major bug with stripping comments. It had in previous versions the effect that user_int and additional headerdata got stripped, which causes errors. An update to this version is strongly 