FIX: conflict filename when converting ttx to otf