Fixed fail-to-compile bug due to error in the ASDF package definition