Add missing / in filenames

(Argh)

Change-Id: I02c25b21d8a939f9267bb9b726f608f7afe38be1