Fix installation of 32 vs 64-bit headers

WOOHOO!

Signed-off-by: Alec Ari <neotheuser@ymail.com>