add new function to check binary existence (need to be propagated)