Forgot lua file extension for instruction files.