Missing header files in Ubuntu Maverick 32bit SDK

Oops, didn’t see your post. Sorry. And thank you for the fix.