rational.ml not used anymore
SConstruct is back
Required old file added back