src directory for fast downward - first version