#include <stdio.h> 
#include <unistd.h> 

int main () 
{ 
  printf("Spencer Boot: attempting remount of filevault volume - noatime"); 
  execl("/sbin/mount",  "mount", "-u", "-o", "noatime,nosuid,nodev", "/dev/disk1s2", "/Users/spencer/", NULL); 
}