A modification to SL(1) to actually list files