Adding ASDF and source files