Restore gcc42

Fixes #72