Linux compilation issues reported by Rich