Does anyone know the executable file extension for GNU/Linux systems? I can't seem to find it anywhere. --David B (talk) 10:15, 13 May 2016 (EDT)