Yang Chen <chenyang@cs.utah.edu> writes: > It works for me on both Ubuntu 14.04 and OS X 10.10.4. Thanks! Thanks for the test!