#4 Support cross-compiling

[Christian Biere]

All dist modules should be written in a
cross-compile-safe way as far as possible (i.e., don't
execute compiled code). If that isn't possible for a
check, the module should be tagged and require
manual intervention interactively respectively through a
command-line flag.