I just installed VMware Player and built the modules successfully, thanks to the fine ArchWiki.
So much for that. Have you rebooted? Maybe the profile is just cached.
Glad your experience was better than mine. Maybe I had a bad board.