make asm32 handle several dots in filename