Link in profile library on Linux using --whole-archive