Another silly hack to remove unwanted characters from the first line of src files