do not ignore pydev config