[backend] Generate real, packed executables for Seashell; should mitigate some of the NFS issues.