part of #71: get slider key to work in linux