Do put leading zeros on numbers that are sorted as text.
Ie removing the leading zero breaks some sorting (Eg .mp3 files on an album where you know the number of tracks and hence how many leading 0s you need)
In the case of music, leading zeros on files are useful for sorting. But the music player should not use file names for sorting but track numbers, and display them without leading zeros in the interface.