INST: deleted file
INST: added binary compiled with g++-4.4