Tweaks to make Frogatto compile under Linux again.