Ensure names of sources are unique: fixed a mistake from previous commit
Authored by: bruno.herbelin@gmail.com 2013-03-13
Parent: [r575]
Child: [r577]