Fixed a filename bug in remix.py.