ignore some files
use stable releases, and use ps4-4 for the src dir