avoid future source filename conflicts