bump to version 0.1a9 since I just released 0.1a8