1:BUILD_BY[name] student1
1:BUILD_ENVIRONMENT[operating system 32 vs 64] Ubuntu12.04 64
1:DEPENDENCIES[list of dependencies with where to get them]

1:END_DEPENDENCIES
1:NOTES[notes on attempted build]

student5 - Compiles for me but then I get an runtime error:
student5@student5-Inspiron-530-12:~/repro_build/hidepath_codes$ ./bmain
AFbits=64
ClusPagesNR=1
LMbits=24
LMcount=10
MPB=1
PIRlimit=25
alg=nr
data=ARG
device=disk
Invalid file 'data/ARG.cedge'

and there isn't a data folder, so it looks like it would need that.

student1-
make command returns an internal compiler error.

student1@ubuntu:~/Downloads/builds/from emails/vldbN-Mouratidis$ make
g++ -c -O utility.cc
utility.cc: In function ‘void TrimSpace(char*)’:
utility.cc:193:1: internal compiler error: Aborted
Please submit a full bug report,
with preprocessed source if appropriate.
See <file:///usr/share/doc/gcc-4.6/README.Bugs> for instructions.
Preprocessed source stored into /tmp/cc7PcUT3.out file, please attach this to your bugreport.
make: *** [utility.o] Error 1

1:END_NOTES
VERIFY:ANALYSIS_BY[name]
VERIFY:STATUS[unknown,needed,not_needed,started,finished] unknown
VERIFY:COMMENT[string]