fixed missing file extension on some systems