Patch to improve profile-build

Smaller and faster profile-build binaries w/ an option to do it even more.
See https://groups.google.com/forum/?fromgroups=#!topic/fishcooking/faKQn-igPYw