Make examples executables on GNU/Linux