SanCoder: fix the rakefile bug