proper bin path now called
Merge pull request #1939 from diefans/devel

proper bin path now called