add executable directory again

it is the easiest way to distribute binaries via github