Another overlooked platform dependency fix