General fixes to problems due to updating Linux