MySQL: add index to filevault_status