Generating .px4 files on make