Corrected typo in printf()
Modified a55.y so output file is no longer hardcoded.