Use Core's definition of Filename.concat operator.