Don't use ugly random file names