eyenfinger: fix loading eye4graphics in OpenSUSE 64
fmbtandroid: workaround for a dying monkey bug
Merge remote-tracking branch '01/devel'
Fix douple delete on heuristic_coverage_random usage