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