Check whether dev dir exists. Fixes #123.