Changed file names (optimized <-> alternate), and regenerated ARM assembly code.