oops, post_configure wasn't correct but it also built fine because the changed timestamp would make it re-run configure