Fix bug; change installed direcotry for assert.rb