Fix a bug - we don't need ${BUILDTOP}/src