Re-add p500.mk