Linux related stuff

elsewhere